Domain and Task Modeling in MIKE

The paper describes the MIKE (Model-based and Incremental Knowledge Engineering) approach for the development of knowledge-based systems (kbs). It integrates semiformal specification techniques, formal specification techniques, and prototyping into a coherent framework. This allows the domain and task model of a kbs to be described on different formalization levels. All activities in the building process are embedded in a cyclic life cycle model. For the semiformal representation we use a hypermedia-based formalism which serves as a communication basis between expert and knowledge engineer during knowledge acquisition. The semiformal knowledge representation is also the basis for formalization, resulting in a formal and executable model of expertise specified in the Knowledge Acquisition and Representation Language (KARL). Since KARL is executable the model of expertise can be developed and validated by prototyping. A smooth transition from a semiformal to a formal specification and further on to design is achieved as all the description techniques rely on the same conceptual model to describe the functional and non-functional aspects of the system. Thus, the system is thoroughly documented at different description levels, each of which focuses on a distinct aspect of the entire development effort. Traceability of requirements is supported by linking the different models to each other. Though the MIKE approach aims at supporting the building process of kbs, its principles and methods apply also to the development of non-knowledge-based software systems, e.g. information systems.